[IA64] ptc_ga might not purge vtlb
authorawilliam@xenbuild2.aw <awilliam@xenbuild2.aw>
Wed, 24 Jan 2007 19:16:44 +0000 (12:16 -0700)
committerawilliam@xenbuild2.aw <awilliam@xenbuild2.aw>
Wed, 24 Jan 2007 19:16:44 +0000 (12:16 -0700)
commit794cb93dfd8591ea1af7463255aaced0cd92d737
tree449ad9c2aafe5fe2e425246b6a3cd53cce4bf887
parentea5725a36c19cde5ba314199c130443aba6ac1f6
[IA64] ptc_ga might not purge vtlb

SMP Windows sometimes failed to boot up with BSOD.

If VTLB hasn't been used in region 0,
ptc_ga for other region doesn't purge VTLBs.

Signed-off-by: Kouya Shimura <kouya@jp.fujitsu.com>
xen/arch/ia64/vmx/vmmu.c
xen/arch/ia64/vmx/vtlb.c
xen/include/asm-ia64/vmmu.h